Books by author Cesare Tinelli

Showing 1 – 4 out of 4 results

1. 

   Description Logic, Theory Combination, and All That

   Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter | Springer Nature Switzerland AG, 2019

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.30 €

   Buy
2. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Christel Baier, Cesare Tinelli | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2015

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.30 €

   Buy
3. 

   Automated Deduction - CADE 29

   Brigitte Pientka, Cesare Tinelli | Springer, Berlin, 2023

   
   

   In stock at our supplier - Shipping in 9 - 11 days

   Language: English

   Binding: Paperback

   43.78 €

   Sale 2 %

   You save 1.25 €

   Buy
4. 

   Frontiers of Combining Systems

   Cesare Tinelli, Viorica Sofronie-Stokkermans | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   77.51 €

   Buy

You can return within 30 days without giving any reason. Find out more